A temporal semantics for Nilpotent Minimum logic
نویسنده
چکیده
In [Ban97] a connection among rough sets (in particular, pre-rough algebras) and three-valued Łukasiewicz logic Ł3 is pointed out. In this paper we present a temporal like semantics for Nilpotent Minimum logic NM ([Fod95, EG01]), in which the logic of every instant is given by Ł3: a completeness theorem will be shown. This is the prosecution of the work initiated in [AGM08] and [ABM09], in which the authors construct a temporal semantics for the many-valued logics of Gödel ([Göd32], [Dum59]) and Basic Logic ([Háj98]). “Dedicated to a very important person: feel free to choose the rhythm and the direction of your walks, ever...”
منابع مشابه
STONE DUALITY FOR R0-ALGEBRAS WITH INTERNAL STATES
$Rsb{0}$-algebras, which were proved to be equivalent to Esteva and Godo's NM-algebras modelled by Fodor's nilpotent minimum t-norm, are the equivalent algebraic semantics of the left-continuous t-norm based fuzzy logic firstly introduced by Guo-jun Wang in the mid 1990s.In this paper, we first establish a Stone duality for the category of MV-skeletons of $Rsb{0}$-algebras and the category of t...
متن کاملDifferential Equations via Temporal Logic and Infinitesimals 15-824 Foundations of Cyber-Physical Systems
We present a temporal logic for reasoning about differential equations which expresses differential behavior via a time domain with a nilpotent (specifically, nilsquare) infinitesimal, an element ε > 0 for which ε = 0. We define a language and axiomatic system as well as a semantics using the ring of dual numbers R[ε].
متن کاملOn completeness results for predicate
In this paper we deal with generic expansions of first-order predicate logics of some left-continuous t-norms with a countable set of truth-constants. Besides already known results for the case of Lukasiewicz logic, we obtain new conservativeness and completenesss results for some other expansions. Namely, we prove that the expansions of predicate Product, Gödel and Nilpotent Minimum logics wit...
متن کاملOn varieties generated by Weak Nilpotent Minimum t-norms
In this paper we study Weak Nilpotent Minimum t-norms and their associated algebraic structures, the standard WNM-chains. We classify all the varieties generated by one standard WNM-chain, obtaining all the axiomatic extensions of WNM logic that are complete with respect to the semantics given by a left-continuous t-norm. To this end, we de ne a set of canonical standard WNMchains and we prove ...
متن کاملNilpotent Minimum Fuzzy Description Logics
We define the fuzzy description logic ALCHNM based on the t-norm of Nilpotent Minimum and we prove its reduction to the crisp description logic ALCH. Hence we prove decidability results for ALCHNM.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Approx. Reasoning
دوره 55 شماره
صفحات -
تاریخ انتشار 2014